Kolmogorov Complexity with Error
نویسندگان
چکیده
We introduce the study of Kolmogorov complexity with error. For a metric d, we define Ca(x) to be the length of a shortest program p which prints a string y such that d(x, y) ≤ a. We also study a conditional version of this measure Ca,b(x|y) where the task is, given a string y′ such that d(y, y′) ≤ b, print a string x′ such that d(x, x′) ≤ a. This definition admits both a uniform measure, where the same program should work given any y′ such that d(y, y′) ≤ b, and a nonuniform measure, where we take the length of a program for the worst case y′. We study the relation of these measures in the case where d is Hamming distance, and show an example where the uniform measure is exponentially larger than the nonuniform one. We also show an example where symmetry of information does not hold for complexity with error under either notion of conditional complexity.
منابع مشابه
Martin-ll of Tests Can Help Too
We argue that Martin-LL of tests provide useful techniques in proofs involving Kolmogorov complexity. Our examples cover more areas: (1) logical deenability; we prove an analogue of the 0-1 Law for various logics in terms of structures with high Kolmogorov complexity, (2) probabilistic computation: we display a relation between the Kolmogorov complexity of the random strings on which a probabil...
متن کاملComputational Error Complexity Classes
The complexity classes Nearly-BPP and Med DisP had been recently proposed as limits of eecient computation Yam1 96, Schi 96]. For both classes, a polynomial time bounded algorithm with bounded probabilistic error has to compute correct outputs for at least 1 ? 1 n !(1) of inputs of length n. We generalize this notion to general error probabilities and arbitrary complexity classes. For proving t...
متن کاملKolmogorov complexity and the asymptotic bound for error-correcting codes
The set of all error-correcting block codes over a fixed alphabet with q letters determines a recursively enumerable set of rational points in the unit square with coordinates (R, δ):= (relative transmission rate, relative minimal distance). Limit points of this set form a closed subset, defined by R ≤ αq(δ), where αq(δ) is a continuous decreasing function called the asymptotic bound. Its exist...
متن کاملThe Non - Recursive Power
We present two new complexity classes which are based on a complexity class C and an error probability function F. The rst, F-Err C, reeects the (weak) feasibility of problems that can be computed within the error bound F. As a more adequate measure to investigate lower bounds we introduce F-Errio C where the error is innnitely often bounded by the function F. These deenitions generalize existi...
متن کاملCuriouser and Curiouser: The Link between Incompressibility and Complexity
This talk centers around some audacious conjectures that attempt to forge firm links between computational complexity classes and the study of Kolmogorov complexity. More specifically, let R denote the set of Kolmogorov-random strings. Let BPP denote the class of problems that can be solved with negligible error by probabilistic polynomial-time computations, and let NEXP denote the class of pro...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2004